Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.caยท11mยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
In-Depth Analysis: "Attention Is All You Need"
dev.toยท4hยท
Discuss: DEV
๐Ÿง Intelligence Compression
Three ways formally verified code can go wrong in practice
buttondown.comยท2h
๐Ÿ“œProof Carrying Code
Neuro-Symbolic AI
en.wikipedia.orgยท5hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.orgยท1d
๐Ÿ”จCompilers
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.orgยท1dยท
๐ŸŒณIncremental Parsing
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐ŸŒณContext free grammars
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Toy Binary Decision Diagrams
philipzucker.comยท4d
๐ŸงฎAlgebraic Datatypes
Show HN: Realization Jsmn on a Pure Zig
github.comยท9hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Experimenting with ACL2 and Claude Code
mikedodds.orgยท7hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp